Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
841	Introduction Introduction M.-P. B´ eal et. al. (IGM et al.) Add to Reading List Source URL: www-igm.univ-mlv.fr Language: English - Date: 2008-10-27 12:41:40 Combinatorics Coding theory Discrete mathematics Combinatorics on words Models of computation Code Prefix code Alphabet Variable-length code Formal languages Automata theory Mathematics
842	Technical Data Sheet SCADE Display® KCGIECCertification Kits Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:41:09 Synchronous programming languages Formal methods Risk Esterel Kyoto Computer Gakuin IEC 61508 Software testing Safety Integrity Level Software development process Safety Esterel Technologies Hardware description languages
843	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran-r.c3sl.ufpr.br Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
844	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-10 07:17:13 Boolean algebra Logical syntax Formal languages Well-formed formula Logical connective FO Logic Mathematical logic Propositional calculus
845	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods
846	Microsoft Word - IBSAI NNets, Gene, NLP.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:45:45 Linguistics Stochastic context-free grammar L-system Context-free grammar DNA Support vector machine Formal grammar Promoter N-gram Formal languages Science Biology
847	Institut für Systemsoftware O.Univ.-Prof. Dr. Hanspeter Mössenböck Grammar-based Editor With Syntax Highlighting and Code Completion Master thesis for: Andreas Greilinger Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2011-10-31 09:39:37 Parser generators Compiler construction Formal languages Parsing Coco/R Compiler-compiler Syntax Compiler Regular expression Software engineering Computer programming Computing
848	COMPLIANCE TO IEC60880 WITH SCADE 6 – DESIGN AND IMPLEMENTATION ASPECTS (ABSTRACT) Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2013-04-25 05:30:21 Safety Esterel Technologies Esterel IEC 61508 Computing Software engineering SIGNAL Functional Safety Software development process Hardware description languages Synchronous programming languages Formal methods
849	Subtree Pushdown Automata for Trees in Bar Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2010-02-18 04:52:05 R-tree Computer programming Automata theory Computing Mathematics Formal languages Mathematical notation Polish notation B-tree

UPDATE